Marginalia — Cuaderno Interactivo Marginalia 01 Functions

"When we define a function \(y = f(x)\) with a formula and the domain is not stated explicitly or restricted by context, the domain is assumed to be the largest set of real $x$-values for which the formula gives real $y$-values, the so-called natural domain." \citep[p.~2]{weir2010thomas}.

Esta cita es la piedra angular de la manipulación operativa en cálculo, ya que define axiomáticamente el dominio por defecto ante la ausencia de una declaración explícita de conjuntos.

Formalmente, el dominio natural \(D_{\text{nat}}\) de una expresión formal \(f(x)\) se define mediante lógica de predicados de primer orden como el conjunto maximal \(D_{\text{nat}} = \{x \in \mathbb{R} \mid \exists! y \in \mathbb{R} \text{ tal que } y = f(x)\}\). Esto implica que el cálculo elemental no opera sobre espacios vacíos o ambiguos, sino que asume de manera determinista la existencia de un subconjunto de números reales bien definido donde no ocurren indeterminaciones del tipo \(a/0\) o raíces cuadradas de números negativos, estableciendo la precondición lógica obligatoria para la existencia de límites y derivadas.

"Changing the domain to which we apply a formula usually changes the range as well." \citep[p.~2]{weir2010thomas}.

El fragmento expone la interdependencia estructural indisoluble que existe entre el dominio de una función y su imagen, refutando la idea errónea de que el rango depende únicamente de la expresión algebraica.

Desde la perspectiva de la teoría de conjuntos pura, una función se define rigurosamente como una terna organizada \(f = (D, Y, G)\), donde \(D\) es el dominio, \(Y\) es el codominio y \(G \subset D \times Y\) es el grafo de la función. Si modificamos el dominio original \(D\) a un subconjunto estricto \(D_0 \subset D\), estamos redefiniendo la función a una restricción formal \(f|_{D_0}\). En consecuencia, la imagen o rango muta necesariamente a \(f(D_0) = \{y \in Y \mid \exists x \in D_0 \text{ tal que } (x,y) \in G\}\), demostrando analíticamente que la topología del rango está indisolublemente indexada a las cotas e hipótesis impuestas sobre el conjunto de entrada.

"When the range of a function is a set of real numbers, the function is said to be real-valued." \citep[p.~2]{weir2010thomas}.

Esta declaración delimita formalmente el espacio métrico del contradominio dentro de la estructura de este tratado, restringiendo el alcance del cálculo diferencial a funciones reales de variable real.

Clasificar una función como real-valued (de valores reales) algebraicamente significa que su rango o imagen es un subconjunto estricto o igual al cuerpo cerrado de los números reales (\(\text{Im}(f) \subseteq \mathbb{R}\)). Esta condición es absolutamente crítica y necesaria, ya que garantiza que el conjunto imagen hereda de manera inmediata las propiedades de orden (tricotomía y transitividad) y la propiedad del supremo (completitud métrica) inherentes a \(\mathbb{R}\). Sin esta restricción formal, la noción de desigualdades, aproximaciones infinitesimales y la estructura geométrica euclidiana bidimensional del plano cartesiano carecerían de validez operacional.

A continuación se presenta la transcripción literal y el análisis analítico ultra-exhaustivo del Ejemplo 1 provisto en la página:

Function	Domain \((x)\)	Range \((y)\)
\(y = x^2\)	\((-\infty, \infty)\)	\([0, \infty)\)
\(y = 1/x\)	\((-\infty, 0) \cup (0, \infty)\)	\((-\infty, 0) \cup (0, \infty)\)
\(y = \sqrt{x}\)	\([0, \infty)\)	\([0, \infty)\)
\(y = \sqrt{4-x}\)	\((-\infty, 4]\)	\([0, \infty)\)
\(y = \sqrt{1-x^2}\)	\([-1, 1]\)	\([0, 1]\)

• Fila 1: Análisis Operacional de \(y = x^2\)
  • Paso 3.1.1 (Dominio): La expresión corresponde a una función polinómica elemental de grado 2. Bajo los axiomas algebraicos de los números reales (\(\mathbb{R}\)), la operación de multiplicación y potenciación entera está clausurada para todo elemento. No existen asíntotas, denominadores que puedan anularse ni raíces de índice par. Por lo tanto, el dominio maximal de definición sin restricciones es \(D = \{x \in \mathbb{R}\} = (-\infty, \infty)\).
  • Paso 3.1.2 (Rango): Por la ley de los signos en campos ordenados, el producto de cualquier número real por sí mismo es siempre no negativo: \(\forall x \in \mathbb{R}, x \cdot x \geq 0 \implies x^2 \geq 0\). Para probar que todo \(y \in [0, \infty)\) pertenece al rango, resolvemos la ecuación transpuesta \(x = \pm\sqrt{y}\), la cual arroja al menos una solución real válida y única en magnitud para todo \(y \geq 0\). Así, el conjunto imagen queda acotado inferiormente de manera estricta por el cero: \(R = [0, \infty)\).
• Fila 2: Análisis Operacional de la Hipérbola Equilátera \(y = 1/x\)
  • Paso 3.2.1 (Dominio): De acuerdo con la estructura del campo algebraico de los reales, un elemento \(x\) posee un inverso multiplicativo \(x^{-1}\) si y solo si \(x\) es distinto del elemento neutro aditivo (\(0\)). Planteamos la restricción del divisor: \(x \neq 0\). Por lo tanto, el dominio natural se segmenta topológicamente mediante la unión de dos intervalos abiertos separados por una discontinuidad asintótica puntual: \(D = (-\infty, 0) \cup (0, \infty)\).
  • Paso 3.2.2 (Rango): Sea \(y \in \text{Rango}(f)\), planteamos la igualdad funcional \(y = \frac{1}{x}\). Dado que \(x \neq 0\), podemos multiplicar ambos lados por \(x\) para obtener \(xy = 1\). Para despejar \(x\) de forma unívoca, se introduce la condición analítica mandatoria de que \(y \neq 0\). Esto nos permite computar \(x = \frac{1}{y}\). Como existe una preimagen \(x \in D\) para todo valor real de \(y\) excepto el cero, el rango es idéntico a su dominio: \(R = (-\infty, 0) \cup (0, \infty)\).
• Fila 3: Análisis Operacional de la Raíz Cuadrada Canónica \(y = \sqrt{x}\)
  • Paso 3.3.1 (Dominio): El operador raíz cuadrada en \(\mathbb{R}\) exige de forma estricta que su argumento base pertenezca al conjunto de los números no negativos, dado que ningún número real multiplicado por sí mismo genera un producto negativo. Establecemos la inecuación del radicando de forma directa: \(x \geq 0\). En notación intervalar, el dominio natural es cerrado por la izquierda: \(D = [0, \infty)\).
  • Paso 3.3.2 (Rango): Por convención axiomática de la aritmética real, el signo del radical \(\sqrt{\cdot}\) denota exclusivamente el valor de la raíz cuadrada principal o no negativa. Por ende, la salida funcional está coaccionada a satisfacer \(y \geq 0\). Al ser una función monótona estrictamente creciente donde \(\lim_{x \to \infty}\sqrt{x} = \infty\), el conjunto barre de manera continua todo el semieje positivo: \(R = [0, \infty)\).
• Fila 4: Análisis Operacional de la Función Irracional Trasladada \(y = \sqrt{4-x}\)
  • Paso 3.4.1 (Dominio): Aplicamos el criterio de existencia para radicales de índice par sobre el argumento interno de la función. Planteamos la desigualdad lineal: \(4 - x \geq 0\). Sumando \(x\) en ambos miembros mediante leyes de orden real, obtenemos la desigualdad equivalente \(4 \geq x\), lo que estructuralmente delimita el conjunto de entrada hacia el infinito negativo: \(D = (-\infty, 4]\).
  • Paso 3.4.2 (Rango): Evaluando el punto de frontera maximal del dominio \(x = 4\), la función alcanza su valor mínimo elemental: \(y = \sqrt{4-4} = 0\). A medida que la variable independiente decrece monótonamente hacia el extremo izquierdo (\(x \to -\infty\)), el argumento interno diverge positivamente (\((4-x) \to \infty\)), provocando que \(\sqrt{4-x} \to \infty\). Consecuentemente, el rango es \(R = [0, \infty)\).

• Fila 5: Análisis Operacional de la Semicircunferencia Superior \(y = \sqrt{1-x^2}\)

  • Paso 3.5.1 (Dominio): Imponemos la condición de no-negatividad sobre el polinomio cuadrático interno del radicando: \(1 - x^2 \geq 0\). Factorizando la diferencia de cuadrados obtenemos \((1-x)(1+x) \geq 0\). El análisis de signos o la aplicación de propiedades de valor absoluto indica que \(x^2 \leq 1 \iff |x| \leq 1\). El dominio queda confinado rígidamente al intervalo compacto \(D = [-1, 1]\).

  • Paso 3.5.2 (Rango): Elevando ambos miembros al cuadrado bajo la precondición existencial de que \(y \geq 0\), obtenemos \(y^2 = 1 - x^2 \iff x^2 + y^2 = 1\), la cual describe el lugar geométrico de una circunferencia unitaria centrada en el origen. Dado que el dominio restringe a \(x\) a estar dentro de \([-1, 1]\), el valor máximo de \(y\) ocurre cuando el término sustraendo es nulo (\(x = 0\)), dando \(y = \sqrt{1} = 1\). Los mínimos absolutos ocurren en las fronteras rígidas \(x = \pm 1\), dando \(y = 0\). El rango mapea el intervalo cerrado \(R = [0, 1]\)

    A continuación se referencian los esquemas visuales explicativos contenidos en la página para el análisis topológico:

    

  

Thomas utiliza la analogía simplificada de que "una función es como una máquina con una ranura de entrada y una salida". Esta simplificación pedagógica oculta la verdadera naturaleza matemática de la función, la cual no es un proceso mecánico ni temporal, sino una relación estática y puramente lógica entre conjuntos preexistentes.

Consideremos la regla algebraica \(y = \sqrt{1-x^2}\) expuesta en la tabla de la página. Su dominio natural es \([-1, 1]\) y su rango es \([0,1]\). Si alteramos deliberadamente una de las hipótesis implícitas de los números reales e intentamos evaluar la función en un punto fuera de su dominio natural, por ejemplo en \(x = 2\), la expresión se convierte en \(y = \sqrt{1-4} = \sqrt{-3}\). Dado que \(\sqrt{-3} \notin \mathbb{R}\), la propiedad de clausura existencial del Paso 1 se rompe por completo. Este contraejemplo demuestra rigurosamente por qué la especificación matemática estricta de las fronteras de un dominio es un requisito mandatorio para evitar el colapso operativo del cálculo real.

"If \(f\) is a function with domain \(D\), its graph consists of the points in the Cartesian plane whose coordinates are the input-output pairs for \(f\). In set notation, the graph is \(\{(x, f(x)) \mid x \in D\}\)." \citep[p.~3]{weir2010thomas}.

Este fragmento proporciona la definición conjuntista rigurosa de la gráfica de una función, trascendiendo la mera noción intuitiva del dibujo o trazo continuo.

Formalmente, el texto define lo que en teoría de conjuntos pura se conoce como el Grafo de una relación funcional, denotado como \(G(f) \subset \mathbb{R}^2\). El rigor de esta afirmación radica en que la gráfica no es un ente geométrico independiente, sino un subconjunto estricto del espacio afín bidimensional indexado biunívocamente por el dominio \(D\). La condición \(\forall x \in D, \exists! (x,y) \in G(f)\) asegura que la gráfica cumple con el principio de reflexividad y unicidad, lo que analíticamente da origen a la "prueba de la recta vertical", donde ninguna línea paralela al eje de las ordenadas puede intersecar al conjunto \(G(f)\) en más de un punto.

Ilustración del grafo lineal \(f(x) = x + 2\). Geométricamente, representa una variedad lineal unidimensional estructurada en \(\mathbb{R}^{2}\). La pendiente constante \(m=1\) define formalmente una tasa de cambio uniforme, mapeando el dominio completo \(\mathbb{R}\) hacia el codominio lineal sin quiebres ni asíntotas.

"The graph of a function \(f\) is a useful picture of its behavior. If \((x, y)\) is a point on the graph, then \(y = f(x)\) is the height of the graph above the point \(x\). The height may be positive or negative, depending on the sign of \(f(x)\)." \citep[p.~3]{weir2010thomas}.

Establece el puente operacional entre el signo y magnitud del operador algebraico \(f\) y la orientación métrica del espacio euclidiano.

Esta correspondencia geométrica asigna a cada elemento del rango un vector de posición vertical cuya norma euclidiana \(\Vert{}y\Vert{}\) mide la distancia al espacio nulo (eje \(x\)). La introducción del signo en la altura denota la orientación del subespacio: si \(f(x) > 0\), el punto se localiza en el semiplano superior \(H^+ = \{(x,y) \in \mathbb{R}^2 \mid y > 0\}\), mientras que si \(f(x) < 0\), se sitúa en el semiplano inferior \(H^{-}\). Este concepto es fundamental para el estudio analítico de inecuaciones funcionales y la determinación posterior de regiones de positividad mediante el teorema de Bolzano.

"How do we know that the graph of \(y = x^2\) doesn't look like one of these curves?" \citep[p.~3]{weir2010thomas}.

La interrogante final de la página confronta de forma crítica los límites del método de tabulación elemental y la necesidad de introducir herramientas del análisis matemático superior.

Un conjunto finito de puntos tabulados \(P = \{(x_i, y_i)\}_{i=1}^n\) constituye un subconjunto discreto del grafo real, \(P \subset G(f)\). Unir estos puntos mediante segmentos rectilíneos (gráficas poligonales) o curvas con picos oscilatorios no lineales (como las figuras descartadas en el texto) es una ambigüedad lógica irreprochable desde el punto de vista puramente algebraico. Para demostrar que la parábola es una curva suave y estrictamente convexa, se requiere demostrar que su función derivada \(f'(x) = 2x\) es monótona y continua \(\forall x \in \mathbb{R}\), y que su segunda derivada \(f''(x) = 2 > 0\) impone una concavidad global positiva, justificando matemáticamente por qué la naturaleza del grafo excluye aristas angulares o inflexiones espurias.

A continuación se realiza el desglose analítico riguroso del Ejemplo 2 respecto a la construcción formal del grafo parabólico:

Análisis Formal de la Función Cuadrática Restringida \(y = x^2\) en \([-2, 2]\):

• Paso 3.1 (Especificación del Dominio Compacto): A diferencia del dominio natural (\(\mathbb{R}\)), el texto restringe coercitivamente el dominio a un intervalo cerrado y acotado (espacio compacto) \(D = [-2, 2]\).

• Paso 3.2 (Mapeo de Puntos de Control): Se evalúa la función sobre una partición uniforme del intervalo para generar el conjunto ordenado de pares discretos:

  \(\begin{aligned}x=-2&\implies y=(-2)^{2}=4\implies (-2,4)\\ x=-1&\implies y=(-1)^{2}=1\implies (-1,1)\\ x=0&\implies y=(0)^{2}=0\implies (0,0)\\ x=1&\implies y=(1)^{2}=1\implies (1,1)\\ x=2&\implies y=(2)^{2}=4\implies (2,4)\end{aligned}\)

• Paso 3.3 (Demostración de la Simetría Par): Analíticamente, se verifica que la función hereda una estructura de simetría especular respecto al eje de las ordenadas debido al operador de potencia par, ya que \(f(-x) = (-x)^2 = x^2 = f(x)\). Geométricamente, si el punto \((x, y) \in G(f)\), entonces su punto simétrico \((-x, y) \in G(f)\), lo que reduce la variabilidad del análisis al intervalo semi-abierto \([0, 2]\).